/** @externs */
function alert(msg) {}